$n$ x(${\it op}$;${\it id}$) $e$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\Pi$(${\it op}$,${\it id}$) 0 $\leq$ $i$ $<$ $n$. $e$